package logica;

import java.util.Map;

public class FormulaImplicacao extends Formula {
	
	Formula primeiro_operando, segundo_operando;
	
	public FormulaImplicacao(CalculoProposicional calculo, Formula operando1, Formula operando2)
	{
		super(calculo);
		this.primeiro_operando = operando1;
		this.segundo_operando = operando2;
	}

	@Override
	public boolean valorar(Map<Atomo, Boolean> valoracao) throws Exception 
	{
		return (!primeiro_operando.valorar(valoracao)) || segundo_operando.valorar(valoracao);
	}

}
